Java memory model - PDFSEARCH.IO - Document Search Engine

Java memory model
Results: 74

#	Item
51	Mathematizing C++ Concurrency Mark Batty Scott Owens Susmit Sarkar Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-12-10 02:43:43 Computer memory Concurrency control Concurrency Compiler construction Transaction processing Java Memory Model Memory barrier Memory ordering Lock Computing Computer architecture Software engineering
52	Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-07-13 08:43:45 X86 architecture Computer memory X86-64 X86 Java Memory Model Memory barrier Spinlock Low-level programming language MOV Computer architecture Computing Instruction set architectures
53	A CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency ˇ C ˇ ´IK, Microsoft JAROSLAV SEV VIKTOR VAFEIADIS, MPI-SWS Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-05-16 11:01:24 Compiler construction Logic in computer science Programming language implementation Formal methods Memory barrier Java Memory Model Memory model Thread-local storage Compiler optimization Computing Software engineering Computer memory
54	Multithreaded semantics for Java Overview The Semantics of Multithreaded Java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 11:29:01 Computer memory Object-oriented programming Icelandic language Old English language Memory barrier Eth Java Memory Model Memory model Volatile variable Computing Software engineering Cross-platform software
55	Implementing OO Languages under a Weak Memory Order William Pugh∗, Univ. of Maryland, College Park, [removed] Shared Memory Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2000-01-03 14:40:04 Cross-platform software Computer memory Data types Java Memory Model Java platform Memory barrier Garbage collection Pointer Type safety Computing Software engineering Computer programming
56	The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park Java Memory Model and Thread Specification Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-24 05:47:30 Computer memory Compiler construction Programming language implementation Programming language design Memory model Volatile variable Java Memory Model Linearizability Lock Computing Concurrency control Software engineering
57	JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 12, 2004, 6:15pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Spe Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-04-12 18:16:57 Java Memory Model Lock Memory barrier Monitor Memory model Deadlock Thread Volatile variable Java virtual machine Computing Concurrency control Software engineering
58	Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-01-11 16:42:23 Concurrency control Concurrency Computer memory C++ Data types Java Memory Model Double-checked locking Immutable object Constructor Computing Software engineering Computer programming
59	JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-04-23 12:58:08 Java Memory Model Memory barrier Lock Memory model Monitor Deadlock Thread Volatile variable Linearizability Computing Concurrency control Software engineering
60	A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-01-13 16:21:08 Logic in computer science Java Memory Model Java platform Computer memory Concurrency Programming language semantics Memory model Consistency model Causal consistency Computing Computer architecture Software engineering